Graph rewriting - PDFSEARCH.IO - Document Search Engine

Graph rewriting
Results: 134

#	Item
91	Research Paper Progress in Informatics, No[removed]) Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2013-05-24 23:49:50 Graph rewriting Signed graph Graph operations Graph database Graph theory Mathematics Theoretical computer science
92	1 Graph-Transformation Verification nd using Monadic 2 -Order Logic Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2011-07-21 08:58:33 Graph rewriting Graph theory
93	GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Soichiro Hidaka∗ , Zhenjiang Hu∗ , Kazuhiro Inaba∗ § , Hiroyuki Kato∗ and Keisuke Nakano† ∗ National Instit Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2011-10-31 16:24:57 Computing Graph rewriting Mathematics Bidirectional transformation Model transformation language Model transformation System Architect Bidirectionalization Boomerang Systems engineering Unified Modeling Language Software engineering
94	Applying a Grouping Operator in Model Transformations Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, and Gabor Karsai Institute for Software Integrated Systems, 2015 T Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2009-09-17 11:04:06 Graph rewriting Port Function Mathematics Two-port network Dataflow
95	D:/dorjxSVN/PhD/Articles/Level Design As Model Transformations/Level Design As Model Transformation/Level Design As Model Transformation.dvi Add to Reading List Source URL: www.jorisdormans.nl Language: English - Date: 2014-06-23 19:42:32 Mathematics Software development Theoretical computer science Level design Shape grammar Model-driven architecture Rewrite Lock VIATRA Graph rewriting Unified Modeling Language Graph theory
96	Proceedings Template - WORD Add to Reading List Source URL: www.jorisdormans.nl Language: English - Date: 2014-06-23 19:42:32 Mathematics Shape grammar Formal grammar L-system Generative grammar Terminal and nonterminal symbols Procedural generation Parsing Graph rewriting Formal languages Linguistics Grammar
97	Applying a Grouping Operator in Model Transformations Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, and Gabor Karsai Institute for Software Integrated Systems, 2015 T Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2009-09-17 14:46:51 Graph rewriting Port Function Mathematics Two-port network Dataflow
98	DAG-Aware AIG Rewriting A Fresh Look at Combinational Logic Synthesis Alan Mishchenko Satrajit Chatterjee Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-08 11:02:22 Digital electronics Electronic design Logic in computer science And-inverter graph Logic synthesis Field-programmable gate array American International Group Directed acyclic graph Logic gate Electronic engineering Electronic design automation Formal methods
99	The Graph Rewriting and Transformation Language: GReAT Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2009-09-17 15:02:03 Theoretical computer science Software engineering VIATRA GReAT Model transformation Action Object Constraint Language GrGen Unified Modeling Language Graph rewriting Mathematics
100	BRICS Basic Research in Computer Science ´ BRICS RS[removed]Lack & Sobocinski: Adhesive Categories Add to Reading List Source URL: ftp.daimi.au.dk Language: English - Date: 2003-11-06 05:22:24 Functors Pushout Pullback Span Graph rewriting Coproduct Seifert–van Kampen theorem Category Diagram Category theory Mathematics Abstract algebra

UPDATE